ruler postulate and segment addition postulate